The Asf+Sdf Meta-Environment Documentation Tools for Free!
نویسندگان
چکیده
Introduction Algebraic speciications can be used for the speciication of var
منابع مشابه
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF+SDF, the ASF+SDF Meta-Environment can be used to provide appropriate tool support.
متن کاملDevelopment of Parsing Tools for CASL Using Generic Language Technology
An environment for the Common Algebraic Speci cation Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic speci cation formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-de ned syntax which is non-trivial to process: ASF+SDF o ers a powerful parsing technology (Generalized LR). Its interactive development environment...
متن کاملThe New ASF Compiler
We call a compiler bootstrapped when it is able to compile its own source. To achieve this situation, the compiler must be expressed in its own language, and an initial interpreter or compiler for this language must be available. We describe the tools and techniques used for the bootstrapping of the new ASF compiler, which is itself expressed in ASF+SDF. As initial compiler, the previous versio...
متن کاملThe ASF+SDF Meta-environment: A Component-Based Language Development Environment
The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the ...
متن کاملedited by Professor C . J . van Rijsbergen M P A Sellink ( Ed ) 2 nd International Workshop on the Theory and Practice of Algebraic Specifications , Amsterdam 1997
The current implementation of the ASF+SDF Meta-Environment has been in existence for more than five years and is becoming obsolete for a variety of reasons, ranging from maintenance problems to problems of scale. A new and improved implementation is in an advanced stage of development. The design choices involved and the progress made to date are summarized. This is a progress report on ongoing...
متن کامل